{-# LANGUAGE Arrows #-}

foo f = proc a -> if a  then  f-<0  else  f-<1

bar f g = proc a ->
    if
        f a
    then
          f
        . g -< a
    else
        g
        -<
        b
